Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 51

年份

2023 1

2021 4

2020 2

2019 4

2018 3

2017 2

2016 1

2015 6

2014 1

2013 2

2012 4

2010 4

2009 2

2008 2

2007 3

2005 2

2004 1

2003 1

2002 2

2001 3

展开︾

关键词

三峡工程 2

工程项目管理 2

BFT 1

CAD 装配模型 1

EMD距离 1

HY-2 1

MixMax模型 1

三峡 1

三峡总公司 1

专利分析 1

中国传统文化 1

云设计和云制造 1

互补 1

五维分析法 1

人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标 1

体系；云模型；描述逻辑；需求验证 1

作物病害 1

侵入岩；铜镍硫化物矿床；小岩体成大矿；矿床成因；找矿远景 1

信息安全 1

展开︾

检索范围：

排序：展示方式：

Optimization model analysis of centralized groundwater source heat pump system in heating season

Shilei LU,Yunfang QI,Zhe CAI,Yiran LI

《能源前沿（英文）》 2015年第9卷第3期页码 343-361 doi: 10.1007/s11708-015-0372-8

摘要： The ground-water heat-pump system (GWHP) provides a high efficient way for heating and cooling while consuming a little electrical energy. Due to the lack of scientific guidance for operating control strategy, the coefficient of performance (COP) of the system and units are still very low. In this paper, the running strategy of GWHP was studied. First, the groundwater thermal transfer calculation under slow heat transfixion and transient heat transfixion was established by calculating the heat transfer simulation software Flow Heat and using correction factor. Next, heating parameters were calculated based on the building heat load and the terminal equipment characteristic equation. Then, the energy consumption calculation model for units and pumps were established, based on which the optimization method and constraints were established. Finally, a field test on a GWHP system in Beijing was conducted and the model was applied. The new system operation optimization idea for taking every part of the GWHP into account that put forward in this paper has an important guiding significance to the actual operation of underground water source heat pump.

关键词： optimization model groundwater source heat pump system theoretical analysis example verification heating season

HTML PDF 收藏

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

《信息与电子工程前沿（英文）》 2015年第16卷第2期页码 85-97 doi: 10.1631/FITEE.1400111

摘要： Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词： Graph rewriting based model transformations Verification/validation Test-driven verification

HTML PDF 收藏

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

《工程（英文）》 doi: 10.1016/j.eng.2023.04.016

摘要： The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers. Using formal or digital methods, natural language traffic rules can be translated into machine language and used by autonomous vehicles. In this paper, a translation flow is designed. Beyond the translation, a deeper examination is required, because the semantics of natural languages are rich and complex, and frequently contain hidden assumptions. The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved. In response, we propose a method of formal verification that combines equivalence verification with model checking. Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method. In addition, we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations. The experimental findings indicate that our digital rules utilizing metric temporal logic (MTL) can be easily incorporated into simulation platforms and autonomous driving systems (ADS).

关键词： Autonomous driving Traffic rules Digitization Formalization Verification

HTML PDF 收藏

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

《能源前沿（英文）》 2021年第15卷第2期页码 529-538 doi: 10.1007/s11708-019-0624-0

摘要： The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.

关键词： repairable system power equipment electric generating unit power station auxiliary transmission and distribution installation reliability availability availability growth model

HTML PDF 收藏

创造性思维的应用实例及其启示作用

黎强

《中国工程科学》 2003年第5卷第6期页码 59-62

摘要：

以矿物加工领域新出现的空气重介质流化床选矿方法提出的背景和实现途径为基础，运用发散—收敛模型讨论了解决工程技术问题时创造性成果的产生机制，分析了创造性思维的应用过程及其启示作用。

关键词：重力选矿创造性思维发散—收敛模型应用实例

HTML PDF 收藏

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

《结构与土木工程前沿（英文）》 2007年第1卷第2期页码 163-169 doi: 10.1007/s11709-007-0017-z

摘要： Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

关键词： hysteretic confining mechanism Concrete-filled in-filled composite

HTML PDF 收藏

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

《能源前沿（英文）》 2012年第6卷第4期页码 413-419 doi: 10.1007/s11708-012-0212-z

摘要： The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

关键词： lignocellulose dilute acid hydrolysis shrinking core model

HTML PDF 收藏

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

《化学科学与工程前沿（英文）》 2010年第4卷第4期页码 523-528 doi: 10.1007/s11705-010-0520-y

摘要： Selective catalytic reduction (SCR) is a major commercial technology for NO removal in power plants. There are a lot of complex chemical reactions in SCR reactors, and it is of great significance to understand the internal process of chemical reactions for SCR DeNO and study the impact of various factors on NO removal efficiency. In this paper, the impact of reaction temperature, ammonia-nitrogen molar ratio and resident time in the catalyst bed layer on NO removal efficiency were studied by simulation of chemical reactions. Then calculated results were compared with catalyst activity test data in a power plant, which proved that the simulated results were accurate. As a result, the reaction conditions were optimized in order to get the best removal efficiency of NO, so that we can provide a reference for optimal running of SCR in power plants.

关键词： SCR NO_x removal efficiency chemical reactions simulation

HTML PDF 收藏

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

《机械工程前沿（英文）》 2021年第16卷第4期页码 747-764 doi: 10.1007/s11465-021-0644-4

摘要： Transfemoral amputees (TAs) have difficulty in mobility during walking, such as restricted movement of lower extremity and body instability, yet few transfemoral prostheses have explored human-like multiple motion characteristics by simple structures to fit the kinesiology, biomechanics, and stability of human lower extremity. In this work, the configurations of transfemoral prosthetic mechanism are synthesized in terms of human lower-extremity kinesiology. A hybrid transfemoral prosthetic (HTP) mechanism with multigait functions is proposed to recover the gait functions of TAs. The kinematic and mechanical performances of the designed parallel mechanism are analyzed to verify their feasibility in transfemoral prosthetic mechanism. Inspired by motion–energy coupling relationship of the knee, a wearable energy-damper clutched device that can provide energy in knee stance flexion to facilitate the leg off from the ground and can impede the leg’s swing velocity for the next stance phase is proposed. Its co-operation with the springs in the prismatic pairs enables the prosthetic mechanism to have the energy recycling ability under the gait rhythm of the knee joint. Results demonstrate that the designed HTP mechanism can replace the motion functions of the knee and ankle to realize its multimode gait and effectively decrease the peak power of actuators from 94.74 to 137.05 W while maintaining a good mechanical adaptive stability.

关键词： hybrid transfemoral prosthetic mechanism energy recycling wearable mechanical clutched device mechanical adaptive stability

HTML PDF 收藏

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

《能源前沿（英文）》 2018年第12卷第3期页码 376-388 doi: 10.1007/s11708-018-0559-x

摘要：

The Paris Agreement, which entered into effect in 2016, emphasizes a definite timeline for communicating and maintaining successive nationally determined contributions (NDCs) that it plans to achieve in addressing climate change. This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building Initiative for Transparency (CBIT). Though such actions are universally accepted by the Parties to the Paris Agreement, earlier studies have shown that there remain technological, social, political and financial constrains which will affect the development and deployment of such a system. In this paper, using a case study on MRV implementation in Bogor City in Indonesia, how the above-mentioned challenges can be overcome is outlined through a technological and policy innovation process where scientists and technologists (collectively referred as expert networks) can join hands with local governments and national policy makers in designing, development and implementation of an MRV system that meets the local, national and global requirements. Through the case study it is further observed that expert networks can act as interactive knowledge generators and policy interlocutors in bridging technology with policy. To be specific, first, a brief history of the international context of MRV and CBIT is outlined. Next, the theoretical underpinning of the study is contextualized within the existing theories related to public policy and international relations. Finally, the case study is outlined and investigated where the engagement of an expert-network and policy makers in the design, development and implementation of an MRV tool is showcased.

关键词： MRV CBIT UNFCCC Indonesia Japan ICT based monitoring climate policy

HTML PDF 收藏

基于随机森林模型的滑动轨迹人机识别 Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

《信息与电子工程前沿（英文）》 2019年第20卷第7期页码 925-929 doi: 10.1631/FITEE.1700442

摘要：识别码在维护网络安全的人机身份验证中得到广泛应用。人机身份验证面临的挑战包括对人与机器滑动轨迹的正确检测。提出一种基于滑动轨迹数据集的人机识别随机森林模型。通过多维性能评价指标，包括识别准确率、识别召回率、识别误报率、识别漏报率、F值和加权准确率，验证该随机森林模型以及基准模型（逻辑回归模型和支持向量机）。随机森林模型多维性能评价指标优于基准模型。

关键词：人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标

HTML PDF 收藏

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

《中国工程科学》 2005年第7卷第6期页码 54-56

摘要：

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度，M·B·斯德洛日夫和E·π·翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响，分别提出了圆筒形件缩口力的计算方法；通过实例对该两种方法的计算结果进行了分析，并与实验数据做了比较。结果表明，两种方法的计算结果十分接近，而且与实验数据相吻合。

关键词：缩口力理论计算试验验证

HTML PDF 收藏

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

《结构与土木工程前沿（英文）》 2009年第3卷第4期页码 384-394 doi: 10.1007/s11709-009-0065-7

摘要： This paper focuses on damage control design of SMA dampers in steel frame piers. A parametric study based on time history analyses is carried out on frame-typed bridge piers with axial-type SMA damping device. The parameters examined are design parameters of strength ratio and stiffness ratio . Seismic performance indexes on displacement and strain are investigated under three JRA recommended Level 2 Ground Type П strong earthquake motions. Design recommendations are suggested following the results of the parametric study.

关键词： damage control design shape memory alloy parameter study displacement-based verification strain-based verification time history analysis

HTML PDF 收藏

水污染防治生物处理技术验证评估指标研究

许春莲,张伟,宋乾武,黄海明,田艳丽,陈栋

《中国工程科学》 2013年第15卷第3期页码 44-48

摘要：

建立科学的验证评估指标体系是开展环境技术验证评估的前提条件。立足于水污染防治生物处理技术，以公正、科学、保护知识产权等为原则，在总结国外验证评估指标体系、验证评估方法的基础上，结合我国的国情开展了水污染防治技术验证评估指标的设计。验证指标共分参考指标、测试指标、评价指标3个部分，按特性又划分为通用指标和特征指标两类。

关键词：生物处理技术验证评估指标

HTML PDF 收藏

一种基于描述逻辑的体系质量需求建模与验证方法 Article

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

《信息与电子工程前沿（英文）》 2017年第18卷第3期页码 346-361 doi: 10.1631/FITEE.1500309

摘要：在体系顶层设计问题中，体系质量需求分析的关键是体系需求的建模以及自动验证，需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题，本文提出一种基于描述逻辑的体系质量需求建模与验证方法。首先，为解决体系功能和非功能需求的描述问题，通过添加模糊构造子扩展统一建模语言（Unified Modeling Language, UML）中的类和关系并定义了基于元模型的领域特定建模语言以实现体系质量需求中模糊和不确定概念的建模。随后提出了基于云模型的体系质量需求评估方法实现了对体系质量需求的评估。然后，提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型，并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后，通过一个案例验证和演示了本文方法的正确性和可行性。

关键词：体系；云模型；描述逻辑；需求验证

HTML PDF 收藏

标题作者时间类型操作

Optimization model analysis of centralized groundwater source heat pump system in heating season

Shilei LU,Yunfang QI,Zhe CAI,Yiran LI

期刊论文

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

期刊论文

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

期刊论文